منابع مشابه
Safe Structural Conformance for Java
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces as well: Any class that provides an implementation for each method in an interface conforms structurally to the interface, and any instance of the class can be used where a value of the interface type...
متن کاملSafe uniform proxies for Java
The proxy abstraction has a long-lasting tradition in object-oriented programming. From design patterns to inherent programming language support, from remote method invocations to simple forms of behavioral reflection – incarnations as well as applications of proxies are innumerable. Since version 1.3, Java supports the concept of dynamic proxy. Such an object conforms to a set of types specifi...
متن کاملSafe Java Native Interface
Type safety is a promising approach to enhancing software security. Programs written in type-safe programming languages such as Java are type-safe by construction. However, in practice, many complex applications are heterogeneous, i.e., they contain components written in different languages. The Java Native Interface (JNI) allows type-safe Java code to interact with unsafe C code. When a type-s...
متن کاملTools for automated conformance testing of Java Card applets
In this article we describe a methodology enabling to automatically gener ate test suits for Java Card applets The considered case study is a classical electronic purse We use two complementary tools TGV to generate test data and Umlaut to design an object oriented model and to translate it into the input format of TGV The integration of those tools in an industrial process is evaluated in the ...
متن کاملA Java−Based Tool for Testing Interoperable MPI Protocol Conformance
Java and the World Wide Web are used as the basis of a tool that tests conformance with the Interoperable Message Passing Interface communication protocol. The user accesses the system through a Java applet that acts as the interface to a test server that is also written in Java. Test scenarios are expressed in scripts that are interpreted by a C−based interpreter. This interpreter is integrate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2000
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/43.6.469